explicit INLINE (*>) and (<*) definitions for LogicT