Иерархия классов Haskell

[F.Ury]

Здравствуйте! Суть задачи: Определить тип данных,
представляющий информацию об иерархии классов. Описать следующие функции:
1) getParent, возвращающую непосредственного предка класса
с указанным именем.
2) getPath, возвращающую список всех предков данного класса
(непосредственный предок, предок предка и т. д.)
3) getMethods, возвращающую список методов указанного
класса с учетом наследования.
4) inherit, добавляющая в иерархию классов класс с заданным
именем, унаследованный от указанного предка.

Код Haskell

data Class = Class { cid :: String, methods :: [String], subclasses :: [Class] } deriving Show
 
orelse = (++)
 
getParent hs cid1 = aux [] hs
  where aux s x 
          | cid x /= cid1 = foldr (orelse . aux [x])   [] (subclasses x)    
        aux s _           = s            
 
getPath hs cid1 = aux [] hs
  where aux s x 
          | cid x /= cid1 = foldr (orelse . aux (x:s)) [] (subclasses x)
        aux s _           = s      
 
inherit hs cid1 cl =  aux hs
  where aux hs' = hs' { subclasses = (if cid hs' == cid1 then (mixin hs' :) 
                                                         else (map aux)
                                     ) $ subclasses hs' 
                      }
        mixin hs' = cl { methods = on (++) methods cl hs' } 
 
getMethods hs cid1 = aux hs
  where aux x 
          | cid x /= cid1 = foldr (orelse . aux) [] (subclasses x)
        aux x             = [methods x] 
            
mkClass id' methods' = Class id' methods' []

Не могу разобраться с входными параметрами, а точнее с 3-им типа [Class]. Что ни пробовал вводить, но интерпретатор постоянно ругается? Кто-нибудь может привести пример входных данных. Спасибо!