Algorithms.Htn

class Term a

class PrimitiveTask a

class CompoundTask a

data Task a b

data Domain a b c

htn