Re: [Haskell-cafe] modules as implicit data structures

On Thu, Sep 06, 2018 at 11:42:49AM +0200, Petr Pudlák wrote:

Let's say we have a module like

module Foo where

foo, bar :: String -> Something ...

and use it elsewhere as

import qualified Foo as F ... F.foo ...

This is almost just if we had a data type defined as

data FooModule = FooModule { foo :: String -> Something, bar :: String -> Something }

Related reading http://www.haskellforall.com/2012/07/first-class-modules-without-defaults.ht...