package Ġprofile . t mdb . local Ċ Ċ import Ġdatabase . Database Ċ import Ġorg . k oin . dsl . module Ċ import Ġprofile . t mdb . Local T mdb Profile Source Ċ import Ġprofile . t mdb . t mdb Profile Module Ċ Ċ val Ġlocal T mdb Profile Module Ġ= Ġmodule Ġ{ ĊĊĠĠĠ Ġfactory < Local T mdb Profile Source > Ġ{ ĠLocal T mdb Profile Source Impl ( profiles Ġ= Ġget ()) Ġ} ĊĊĠĠĠ Ġfactory Ġ{ Ġget < Database >(). t mdb Profile Queries Ġ} Ċ Ċ } Ġ+ Ġt mdb Profile Module Ċ