adding trivial effect tests
adding sigs to EffSTT
adding sigs to EffSTT
huh? what is this could not deduce `Ex.Exception Error` business?
misc edits shuffling stuff around triggers wierd errors to do with Exn instances.
stuff builds again. next: add HProp
added alias RTProp
renamed RMono/RPoly
added alias RTProp: code now builds
Asd
Asd
Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.
twiddle
twiddle
adding PVKind
sigh.
sigh.
onto Constraint.hs
builds again.
updating placeholders to TODO:EFFECTS