1module Main where
2
3import Prelude
4
5import Effect.Console
6
7class Default a where
8  def :: a
9
10instance defaultString :: Default String where
11  def = "Done"
12
13data I a = I a
14
15instance defaultI :: (Default a) => Default (I a) where
16  def = I def
17
18main = do
19  case def of
20    I s -> log s
21