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)