purescript-0.15.15: tests/purs/passing/922.purs

module Main where

import Prelude

import Effect.Console

class Default a where
  def :: a

instance defaultString :: Default String where
  def = "Done"

data I a = I a

instance defaultI :: (Default a) => Default (I a) where
  def = I def

main = do
  case def of
    I s -> log s