Module Coffee

Meta-data

Module does not export: Awake, Coffee

Contents

data Coffee where
    Coffee 

data Awake where
    Awake 

drink : Coffee -> Awake

keep : Coffee -> Coffee

sip : *Coffee -> (Coffee, Awake)