--================================================================================
Typechecked:
{- nonrec -}
normal{-r3q,x-} =
    _/\_ a{-r3o-} -> \ tpl_B1 ->
	tpl_B1
{- nonrec -}
AbsBinds
[a{-avr-}]
[d.Normal_avk]
[([a{-avr-}], $mnormal{-ruO,x-}, normal_avm)]
    AbsBinds [] [] [([], normal_avm, normal_avo)]
	normal_avo
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-avr-} -> PrelBase.Bool{-34,p-}) "Class Normal Method normal"
{- rec -}
AbsBinds
[a{-avf-}, b{-avg-}]
[]
[([a{-avf-}, b{-avg-}], $d1{-rvs,x-}, d.Normal_av9)]
    AbsBinds [] [] [([], normal_avt, normal_avc)]
	normal_avc
	    _       =   PrelBase.True{-5E,p-}{i}
    d.Normal_av9 =
	({-dict-} [] [normal_avt])
{- nonrec -}
{- nonrec -}
AbsBinds [t{-auZ-}] [] [([t{-auZ-}], f{-r3p,x-}, f_auN)]
    d.Normal_av1 =
	$d1{-rvs,x-}
	    [GHC.Void{-3T,p-}, GHC.Void{-3T,p-}]
    normal_avu =
	normal{-r3q,x-}
	    (GHC.Void{-3T,p-} -> GHC.Void{-3T,p-})
	    d.Normal_av1
    f_auN
	x_r3f   =   normal_avu PrelBase.id{-raJ,p-}
				   GHC.Void{-3T,p-}
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ N 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: id 1;
_exports_
N f Normal(normal);
_instances_
instance _forall_ [a b] => {Normal (a -> b)} = $d1;
_declarations_
1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
1 $mnormal _:_ _forall_ [a] {Normal a} => a -> PrelBase.Bool ;;
1 class Normal r3o where {normal :: r3o -> PrelBase.Bool} ;
1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;