Hey folks! After reading Deconstructing Classes , I tried to use the idea to mimic a simple OCaml module functor. I have no OCaml knowledge, but basically I want to implement this: module type STACK = sig type 'a t val empty : 'a t val push : 'a -> 'a t -> 'a t end module ListStack : STACK …

The problem is that Stack is kind-polymorphic, so the type of empty is: ghci> :t empty empty :: forall k (m :: k). Stack m => Container m (Elem m) So you need to invoke it like this: empty @_ @(ListStack Int) Alternatively, you can make Stack and SizedStack not kind-polymorphic by replacing k wit…

Emulating OCaml modules with typeclasses

Learn

tomjaguarpaw June 16, 2025, 1:11pm 3

You may find this interesting: modules-for-lennart

1 Like

Topic		Replies	Views
Textbook for learning Haskell alongside type theory?	5	1400	October 12, 2022
Serokell’s Work on GHC: Dependent Types, Part 4	5	1157	October 27, 2024
Monadic Parsing in Haskell Learn	28	1848	January 23, 2024
Advice about use of typeclasses in my project Learn	7	1273	September 11, 2021
Haskell newbie feeling overwhelmed by Haskell's modules and docs Learn	11	726	February 7, 2022

Emulating OCaml modules with typeclasses

Related topics